Orthogonality within the Families of C-, S-, and E-Functions of Any Compact Semisimple Lie Group

The paper is about methods of discrete Fourier analysis in the context of Weyl group symmetry. Three families of class functions are defined on the maximal torus of each compact simply connected semisimple Lie group G. Such functions can always be restricted without loss of information to a fundamental region F̌ of the affine Weyl group. The members of each family satisfy basic orthogonality relations when integrated over F̌ (continuous orthogonality). It is demonstrated that the functions also satisfy discrete orthogonality relations when summed up over a finite grid in F̌ (discrete orthogonality), arising as the set of points in F̌ representing the conjugacy classes of elements of a finite Abelian subgroup of the maximal torus T. The characters of the centre Z of the Lie group allow one to split functions f on F̌ into a sum f = f1 + · · · + fc, where c is the order of Z, and where the component functions fk decompose into the series of C-, or S-, or E-functions from one congruence class only.